|
|
||||
|
| ||||||||||||||||||||||
| 8,367 articles found for: pub-date > 1954 and pub-date < 1981 and mathematics | previous page < results 1 - 100 > | |||
 Save as Search Alert RSS Feed | ||||
 = Full-text available  = Abstract only |
Font Size:
 
|
|||
|
|
|
|
| Research and Higher Education in Mathematics: The Philippine Experience North-Holland Mathematics Studies, Volume 33, 1979, Pages 67-80 Bienvenido F. Nebres | ||||
| Kleene's Readability and “Divides” Notions for Formalized Intuitionistic Mathematics Studies in Logic and the Foundations of Mathematics, Volume 101, 1980, Pages 167-179 JoanRand Moschovakis | ||||
| Logic and Heuristic in Mathematics Curriculum Reform Studies in Logic and the Foundations of Mathematics, Volume 47, 1967, Pages 208-241 Jack A. Easley Jr. | ||||
| Aspects of Constructive Mathematics Studies in Logic and the Foundations of Mathematics, Volume 90, 1977, Pages 973-1052 A.S. Troelstra | ||||
| Development of Mathematics in Southeast Asia: The Experience of the Southeast Asian Mathematical Society North-Holland Mathematics Studies, Volume 33, 1979, Pages 169-178 Lee Peng Yee | ||||
| Church's Thesis: A Kind of Reducibility Axiom for Constructive Mathematics Studies in Logic and the Foundations of Mathematics, Volume 60, 1970, Pages 121-150 G. Kreisel | ||||
| Thirty Years of Foundational Studies Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930–1964 Studies in Logic and the Foundations of Mathematics, Volume 93, Part 1, 1979, Pages 1-176 Andrzej Mostowski | ||||
| Kreisel's Work on the Philosophy of Mathematics-I. Realism Studies in Logic and the Foundations of Mathematics, Volume 61, 1971, Pages 411-438 J.M.B. Moss | ||||
| Mathematics as a Numerical Language Studies in Logic and the Foundations of Mathematics, Volume 60, 1970, Pages 53-71 Errett Bishop | ||||
| The Development of School Mathematics Some General Principles North-Holland Mathematics Studies, Volume 33, 1979, Pages 47-51 Bryan Thwaites | ||||
| Mathematics Research in Third World Countries: Pitfalls and Opportunities North-Holland Mathematics Studies, Volume 33, 1979, Pages 143-150 S. Shahshahani | ||||
| Adequate Mathematics for Third World Countries: Considepanda and Strategies. North-Holland Mathematics Studies, Volume 33, 1979, Pages 33-46 Ubiratan D'Ambrosio | ||||
| Chapter IV Intuitionistic Conceptions of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 67, 1973, Pages 210-274 | ||||
| Constructive Functions in “The Foundations of Intuttionistic Mathematics” Studies in Logic and the Foundations of Mathematics, Volume 52, 1968, Pages 137-144 S.C. Kleene | ||||
| Mechanical Mathematics and Inferential Analysis Studies in Logic and the Foundations of Mathematics, Volume 26, 1959, Pages 1-20 Hao Wang | ||||
| Mechanical Mathematics and Inferential Analysis Studies in Logic and the Foundations of Mathematics, Volume 35, 1963, Pages 1-20 Hao Wang | ||||
| Foundations of Mathematics — Whither Now? Studies in Logic and the Foundations of Mathematics, Volume 47, 1967, Pages 187-207 Láaszlóo Kalmar | ||||
| Chapter 22 Metamathematics, Philosophy of Mathematics, and General Philosophy Studies in Logic and the Foundations of Mathematics, Volume 25, 1959, Pages 613-648 | ||||
| On the Relevance of Post-Göodelian Mathematics to Philosophy Studies in Logic and the Foundations of Mathematics, Volume 47, 1967, Pages 118-137 Stephan Köorner | ||||
| Concerning Progress In The Philosophy Of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 80, 1975, Pages 41-52 Abraham Robinson | ||||
| Mathematics as a Domain of Theoretical Science and of Mental Experience Studies in Logic and the Foundations of Mathematics, Volume 80, 1975, Pages 1-4 Paul Bernays | ||||
| Mathematics and Logic Studies in Logic and the Foundations of Mathematics, Volume 44, 1966, Pages 181-186 Alonzo Church | ||||
| 6. The Concept of Infinity in Mathematics Studies in Logic and the Foundations of Mathematics, Volume 55, January 1969, Pages 223-233 | ||||
| Developing Mathematics North-Holland Mathematics Studies, Volume 33, 1979, Pages 127-133 René Thorn | ||||
| Chapter I Mathematics Studies in Logic and the Foundations of Mathematics, Volume 28, 1960, Pages 45-78 | ||||
| The Pernicious Influence of Mathematics On Science Studies in Logic and the Foundations of Mathematics, Volume 44, 1966, Pages 356-360 J. Schwartz | ||||
| Computers, Mathematics and Applications North-Holland Mathematics Studies, Volume 33, 1979, Pages 135-141 Jacques-Louis Lions | ||||
| 6. Lesniewski's System of Logic and Foundations of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 30, 1962, Pages 105-166 | ||||
| The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 60, 1970, Pages 3-45 A.S. Yessenin-Volpin | ||||
| Chapter IX Toward Mechanical Mathematics Studies in Logic and the Foundations of Mathematics, Volume 33, 1963, Pages 224-268 | ||||
| Aspects of constructivity in mathematics Studies in Logic and the Foundations of Mathematics, Volume 87, 1977, Pages 439-454 J.M.E. Hyland | ||||
| Appendix A Mathematics, The Exact Science Mathematics in Science and Engineering, Volume 107, 1974, Pages 276-285 | ||||
| Chapter 7 Axiomatics of Fundamental Theories of Modern Mathematics Studies in Logic and the Foundations of Mathematics, Volume 25, 1959, Pages 132-174 | ||||
| Chapter 10 Mathematics without Choice Studies in Logic and the Foundations of Mathematics, Volume 75, 1973, Pages 141-150 | ||||
| Bolzano's Contribution to Logic and Philosophy of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 87, 1977, Pages 147-171 Jan Berg | ||||
| Guide to Part D: Proof Theory and Constructive Mathematics Studies in Logic and the Foundations of Mathematics, Volume 90, 1977, Pages 819-820 A. Troelstra | ||||
| Perspectives in the Philosophy of Pure Mathematics Studies in Logic and the Foundations of Mathematics, Volume 74, 1973, Pages 255-277 G. Kreisel | ||||
| Autonomous Transfinite Progressions and the Extent of Predicative Mathematics Studies in Logic and the Foundations of Mathematics, Volume 52, 1968, Pages 121-135 S. Feferman | ||||
| Chapter XXIII The Formalization of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 33, 1963, Pages 559-584 | ||||
| Pure and Applied Mathematics A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 40, 1971, Pages 554-555 | ||||
| Pure and Applied Mathematics A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 72, 1976, Page ii Samuel Ellenberg, Hyman Eamr | ||||
| Pure and Applied Mathematics A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 59, Part 2, 1974, Page ii Samuel Eilrnberg, Hyman Earr | ||||
| Pure and Applied Mathematics: A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 84, 1980, Page 366 Samuel Eilenberg, Hyman Bass | ||||
| Pure and Applied Mathematics: A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 73, 1977, Page ii | ||||
| Pure and Applied Mathematics A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 69, 1976, Page ii Samuel Ellenberg, Hyman Eamr | ||||
| Pure and Applied Mathematics Pure and Applied Mathematics, Volume 51, 1973, Pages 362-363 | ||||
| Pure and Applied Mathematics: A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 85, 1979, Page 377 Samuel Eilenberg, Hyman Bass | ||||
| Pure and Applied Mathematics A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 47, 1972, Page ii Samuel Ellenberg, Hyman Eamr | ||||
| Pure and Applied Mathematics: A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 82, Part 1, 1979, Page 2 | ||||
| Pure and Applied Mathematics A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 64, 1975, Page ii Samuel Eilrnberg, Hyman Earr | ||||
| Mathematics in Science and Engineering Mathematics in Science and Engineering, Volume 69, 1971, Pages 313-314 | ||||
| Symposium on the Role of Mathematics in the Formulation of Physical Theories: Analyse Mathématique Du “Principe De Continuité” En Physique Studies in Logic and the Foundations of Mathematics, Volume 44, 1966, Pages 340-347 Alexandre Froda | ||||
| Constructive Mathematics and Models of Intuitionistic Theories Studies in Logic and the Foundations of Mathematics, Volume 74, 1973, Pages 111-128 A.G. Dragalin | ||||
| Chapter IV Intuitionistic Conceptions of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 23, 1958, Pages 196-264 | ||||
| 7. The Present State of Research into the Foundations of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 55, January 1969, Pages 234-251 | ||||
| Appendix II Foundations of Mathematics Studies in Logic and the Foundations of Mathematics, Volume 48, 1967, Pages 160-164 | ||||
| The Foundations of Mathematics in Poland After World War II Studies in Logic and the Foundations of Mathematics, Volume 87, 1977, Pages 129-138 W. Marek (Warszawa) | ||||
| Mathematics in 1984–The Impact of Computers Advances in Computers, Volume 10, 1970, Pages 79-108 Bryan Thwaites | ||||
| Pure and Applied Mathematics: A Series of Monographs and Textbooks Pure and Applied Mathematics, Volume 70, 1976, Page ii | ||||
| Three Computer Cultures: Computer Technology, Computer Mathematics, and Computer Science Advances in Computers, Volume 10, 1970, Pages 7-78 Peter Wegner | ||||
| Chapter 2 The Mathematical Model Mathematics in Science and Engineering, Volume 20, 1965, Pages 12-31 | ||||
| III Direct Sums of Cyclic Groups Pure and Applied Mathematics, Volume 36, Part 1, 1970, Pages 72-96 | ||||
| Part V A Survey of Potential Applications Mathematics in Science and Engineering, Volume 144, 1980, Pages 357-369 | ||||
| Bibliography Pure and Applied Mathematics, Volume 53, 1973, Pages 221-231 | ||||
| References North-Holland Mathematics Studies, Volume 44, 1980, Pages 305-317 | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 39, 1965, Pages 187-199 | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 42, 1966, Pages 283-289 | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 32, 1963, Pages 272-280 | ||||
| References Studies in Logic and the Foundations of Mathematics, Volume 83, 1975, Pages 438-444 | ||||
| Constructive Theories of Functions and Classes Studies in Logic and the Foundations of Mathematics, Volume 97, 1979, Pages 159-224 Solomon Feferman | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 25, 1959, Pages 682-713 | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 78, 1974, Pages 380-390 | ||||
| Theories of Finite Type Related to Mathematical Practice Studies in Logic and the Foundations of Mathematics, Volume 90, 1977, Pages 913-971 Solomon Feferman | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 88, 1978, Pages 278-284 | ||||
| Lattice-Theoretic Approach to Projective and Affine Geometry Studies in Logic and the Foundations of Mathematics, Volume 27, 1959, Pages 188-203 Bjarni Jónsson | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 41, 1966, Pages 127-141 | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 22, 1958, Pages 382-393 | ||||
| An Updated Bibliography and Survey of Steiner Systems Annals of Discrete Mathematics, Volume 7, 1980, Pages 317-349 Jean Doyen, Alexander Rosa | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 23, 1958, Pages 349-404 | ||||
| Informal Rigour and Completeness Proofs Studies in Logic and the Foundations of Mathematics, Volume 47, 1967, Pages 138-186 Georg Kreisel | ||||
| References Studies in Logic and the Foundations of Mathematics, Volume 36, 1964, Pages 175-177 | ||||
| Bibliography Studies in Mathematics and Its Applications, Volume 4, 1978, Pages 481-511 | ||||
| Bibliography Pure and Applied Mathematics, Volume 82, Part 1, 1979, Pages 462-543 | ||||
| Bibliography Pure and Applied Mathematics, Volume 24, 1966, Pages 285-286 | ||||
| Bibliography Studies in Logic and the Foundations of Mathematics, Volume 17, 1956, Pages 123-129 | ||||
| Remarks on Constructive Mathematical Analysis Studies in Logic and the Foundations of Mathematics, Volume 97, 1979, Pages 81-129 O. Demuth, A. Kučera | ||||
| Bibliography Mathematics in Science and Engineering, Volume 75, 1971, Pages 236-246 | ||||
| References and Index to References Studies in Logic and the Foundations of Mathematics, Volume 100, 1980, Pages 613-622 | ||||
| Acknowledgmnts Pure and Applied Mathematics, Volume 57, 1973, Pages xiii-xiv | ||||
| Formal Systems of Intuitionistic Analysis I Studies in Logic and the Foundations of Mathematics, Volume 52, 1968, Pages 161-178 J. Myhill | ||||
| An Intuitionistic Theory of Types: Predicative Part Studies in Logic and the Foundations of Mathematics, Volume 80, 1975, Pages 73-118 Per Martin-Löf | ||||
| 10. Bibliography (§ 1.0) Studies in Logic and the Foundations of Mathematics, Volume 30, 1962, Pages 320-333 | ||||
| Doctrines in Categorical Logic Studies in Logic and the Foundations of Mathematics, Volume 90, 1977, Pages 283-313 A. Kock, G.E. Reyes | ||||
| Bibliograhy Studies in Logic and the Foundations of Mathematics, Volume 102, 1980, Pages 305-308 | ||||
| Chapter 3 Random Equations: Basic Concepts and Methods of Solution Mathematics in Science and Engineering, Volume 96, 1972, Pages 98-133 | ||||
| The Type Theoretic Interpretation of Constructive Set Theory Studies in Logic and the Foundations of Mathematics, Volume 96, 1978, Pages 55-66 Peter Aczel | ||||
| A Survey of Proof Theory II Studies in Logic and the Foundations of Mathematics, Volume 63, January 1971, Pages 109-170 G. Kreisel | ||||
| Bibliography Pure and Applied Mathematics, Volume 91, 1980, Pages 327-331 | ||||
| Second order logic and first order theories of reducibility orderings* Studies in Logic and the Foundations of Mathematics, Volume 101, 1980, Pages 181-200 Anil Nerode, Richard A. Shore | ||||
| Recent Results in Set Theory Studies in Logic and the Foundations of Mathematics, Volume 47, 1967, Pages 82-108 Andrzej Mostowski | ||||
| 8,367 articles found for: pub-date > 1954 and pub-date < 1981 and mathematics | previous page < results 1 - 100 > |
|
Save Search
| Save as Search Alert RSS Feed |
|
|
|
Open All Previews "Open")
Preview
PDF (992 K) "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview "Open")
Preview